import language.experimental.captureChecking

class Cap extends caps.Capability:
  def use[T](body: Cap ?=> T) = body(using this)

-- [E007] Type Mismatch Error: tests/pos-custom-args/captures/i20237.scala:4:43 
4 |  def use[T](body: Cap ?=> T) = body(using this)
  |                                           ^^^^
  |Found:    (Cap.this : Cap^{cap.rd})
  |Required: Cap^{cap².rd}
  |
  |where:    cap  is the universal root capability
  |          cap² is a fresh root capability created in method use when checking argument to parameter x$0 of method apply